61. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
62. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
63. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
64. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
65. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
66. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
67. Logic programming, knowledge representation, and nonmonotonic reasoning
پدیدآورنده : [edited by]& Marcello Balduccini, Tran Cao Son
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
68. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
69. Logic, rhetoric, and legal reasoning in the Qur'ān :
پدیدآورنده : Rosalind Ward Gwynne.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
رده :
BP104
.
I5
G89
2004
70. Logic, rhetoric, and legal reasoning in the Qur'an
پدیدآورنده : / Rosalind Ward Gwynne
کتابخانه: (طهران)
موضوع : Islam and reason - Koranic teaching,Koran and philosophy,Intellect - Religious aspects - Islam - Koranic teaching,عقل ( اسلام ) - جنبه های قرآنی
رده :
BP216
,.
15
.
G89
71. Logic, rhetoric and legal reasoning in the Qur'an: God's arguments
پدیدآورنده : Gwynne, Rosalind Ward
کتابخانه: (قم)
موضوع : Koranic teaching ، Islam and reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
134
.
R33
.
G89
72. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
پدیدآورنده : Rosalind Ward Gwynne
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Islam and reason - Koranic teaching,Koran and philosophy
73. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
پدیدآورنده : Gwynne, Rosalind Ward.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Koranic teaching ، Islam and reason,Koranic teaching ، Reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
104
.
R4G8
2004
74. Logic techniques of formal reasoning
پدیدآورنده : Donald Kalish, ... ]et al.[
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Logic
رده :
160
L
832
Ed
.
2
75. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
76. Meaning in dialogue : an interactive approach to logic and reasoning
پدیدآورنده : Trafford, James
کتابخانه: (طهران)
موضوع : ، Reasoning,، Logic
رده :
BC
177
.
T72M4
77. On the Logic Fundation of Fuzzy Reasoning
پدیدآورنده : Wang, Guo-Jun
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Fuzzy mathematics
رده :
QA
248
.
5
.
W2
1997
78. Principles of reasoning; an introduction to logic, methodology, and the theory of signs
پدیدآورنده : / Henry S. Leonard.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
79. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16
پدیدآورنده : / David Poole (auth.), James P. Delgrande, Wolfgang Faber (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
80. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR
پدیدآورنده : / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
